proof irrelevance
#Fleeting_Notes
proof irrelevance(証明無関係)
『Theorem Proving in Lean 4』
の日本語訳では証明無関係と訳されている
https://aconite-ac.github.io/theorem_proving_in_lean4_ja/propositions_and_proofs.html
proof relevance
確認用
Q. proof irrelevance
調査用
Google.icon
証明無関係(日)
Google.icon
Proof irrelevance(英)
Wikipedia.icon
証明無関係 - Wikipedia(日)
証明無関係(検索) - Wikipedia(日)
Wikipedia.icon
Proof irrelevance - Wikipedia(英)
Proof irrelevance(検索) - Wikipedia(英)